Systematic Execution of
 Android Test Suites in Adverse Conditions Christoffer Quist Adamsen, Gianluca Mezzetti, Anders Møller Aarhus University, Denmark

Source URL: issta2015.cs.uoregon.edu

On weak Markov’s principle Ulrich Kohlenbach BRICS∗ Department of Computer Science University of Aarhus Ny Munkegade

Source URL: www.mathematik.tu-darmstadt.de

• Constructivism
• Mathematics
• Computability theory
• Mathematical logic
• Mathematical proofs
• Functions and mappings
• Abstraction
• Proof theory
• Realizability
• Constructive proof
• Primitive recursive function
• operator

Asger Hobolth Bioinformatics Research Center, Aarhus University Analysis of whole-genome population genetic data Joint work with Thomas Mailund and Mikkel Heide Schierup, Aarhus, and

Source URL: guanine.evolbio.mpg.de

• Statistical genetics
• Population genetics
• Biology
• Coalescent theory
• Academia
• Probability distributions

Tartu Statement Coimbra Group General Assembly Tartu, 19 May 2006 Member Universities Aarhus(DK)

Source URL: www.coimbra-group.eu

• Education
• Coimbra Group
• Academia
• Coimbra
• University of Tartu
• University
• Katholieke Universiteit Leuven

On the computational content of the Krasnoselski and Ishikawa fixed point theorems Ulrich Kohlenbach BRICS⋆ Department of Computer Science, University of Aarhus,

Source URL: www.mathematik.tu-darmstadt.de

• Fixed-point theorems
• Metric geometry
• Topology
• Banach space
• Banach fixed-point theorem
• Contraction mapping
• Compact space
• Schauder fixed point theorem
• Metric space
• Lipschitz continuity
• Browder fixed point theorem
• ArzelAscoli theorem

Subjective Performance Evaluations and Employee Careers by Anders Frederiksen (ICOA at Aarhus University, AU Herning, CCP and IZA) Aarhus University Fuglesangs Allé 4

Source URL: www.fabianlange.ca

DaCRA news Content in short (see details below): .

Source URL: www.dacra.dk

• Aarhus University
• Danish Culture Canon
• Functionalist architecture
• Ion channel

On uniform weak K¨onig’s lemma Ulrich Kohlenbach BRICS∗ Department of Computer Science University of Aarhus Ny Munkegade

Source URL: www.mathematik.tu-darmstadt.de

• Computability theory
• Proof theory
• Mathematical logic
• Predicate logic
• Logic in computer science
• Primitive recursive functional
• Reverse mathematics
• Primitive recursive function
• Primitive recursive arithmetic
• First-order logic
• Peano axioms
• Ordinal analysis

Things that can and things that can’t be done in PRA Ulrich Kohlenbach BRICS∗ Department of Computer Science University of Aarhus Ny Munkegade, Bldg. 540

Source URL: www.mathematik.tu-darmstadt.de

• Computability theory
• Mathematical logic
• Mathematics
• Theoretical computer science
• Primitive recursive function
• Primitive recursive arithmetic
• ELEMENTARY
• Reverse mathematics
• Pairing function
• Ackermann function
• Sequence
• Recursion

The Danish National Research Foundation invests 200 million DKK in seven new Niels Bohr Professorships Danmarks Grundforskningsfond Holbergsgade 14, 1. sal

Source URL: dg.dk

• Bohr family
• Nobel laureates in Physics
• Niels Bohr
• University of Copenhagen
• Aarhus University
• Copenhagen